This is an artifact for the CAV'23 tool paper "Kratos2: an SMT-Based Model Checker for Imperative Programs". For detailed instructions, see the README.md file within the archive
The artifact contains a VM image with our tool installed on it, along with a script which downloads ...
This artifact accompanies the CAV 2022 paper with the same title. The artifact contains a docker fil...
This artifact contains the Docker image with the WiSE and PyWiSE prototypes presented in the paper "...
This is an artifact for the CAV'23 tool paper "Kratos2: an SMT-Based Model Checker for Imperative Pr...
This is an artifact for the TACAS'23 paper "Modular Mix-and-Match Complementation of Büchi Automata"...
Artifact that accompanies the "Capture, Analyze, Diagnose: Realizability Checking of Requirements in...
Artifact accompanying the CAV 2023 paper "Automatic Program Instrumentation for Automatic Verificati...
This is the artifact for paper “Automated Testing of Software that Uses Machine Learning APIs” in IC...
To use this artifact, use the TACAS22 VM [0]. Copy the archive into the VM, unpack it, and then foll...
This is the artifact for the paper "IMITATOR 3: Synthesis of timing parameters beyond decidability" ...
This is the artifact accompanying our paper "GenMC: A Model Checker for Weak Memory Models", accept...
This is an artifact for the CGO'23 paper titled "Parsimony: Enabling SIMD/Vector Programming in Stan...
The .zip file contains the artifact for our TACAS23 paper "Probabilistic Program Verification via In...
This archive contains the artifacts belonging to the MODELS'23 paper “Automatic Security-Flaw Detect...
This is the artifact accompanying the CAV 2021 paper "Product Programs in the Wild: Retrofitting Pro...
The artifact contains a VM image with our tool installed on it, along with a script which downloads ...
This artifact accompanies the CAV 2022 paper with the same title. The artifact contains a docker fil...
This artifact contains the Docker image with the WiSE and PyWiSE prototypes presented in the paper "...
This is an artifact for the CAV'23 tool paper "Kratos2: an SMT-Based Model Checker for Imperative Pr...
This is an artifact for the TACAS'23 paper "Modular Mix-and-Match Complementation of Büchi Automata"...
Artifact that accompanies the "Capture, Analyze, Diagnose: Realizability Checking of Requirements in...
Artifact accompanying the CAV 2023 paper "Automatic Program Instrumentation for Automatic Verificati...
This is the artifact for paper “Automated Testing of Software that Uses Machine Learning APIs” in IC...
To use this artifact, use the TACAS22 VM [0]. Copy the archive into the VM, unpack it, and then foll...
This is the artifact for the paper "IMITATOR 3: Synthesis of timing parameters beyond decidability" ...
This is the artifact accompanying our paper "GenMC: A Model Checker for Weak Memory Models", accept...
This is an artifact for the CGO'23 paper titled "Parsimony: Enabling SIMD/Vector Programming in Stan...
The .zip file contains the artifact for our TACAS23 paper "Probabilistic Program Verification via In...
This archive contains the artifacts belonging to the MODELS'23 paper “Automatic Security-Flaw Detect...
This is the artifact accompanying the CAV 2021 paper "Product Programs in the Wild: Retrofitting Pro...
The artifact contains a VM image with our tool installed on it, along with a script which downloads ...
This artifact accompanies the CAV 2022 paper with the same title. The artifact contains a docker fil...
This artifact contains the Docker image with the WiSE and PyWiSE prototypes presented in the paper "...
DOI
Add to ORKG